大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Human-Computer Interaction. Interaction Design and Usability [electronic resource] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

0
索取号：
作者：Jacko、 Julie A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Distributed Computing in Sensor Systems [electronic resource] : Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007. Proceedings

0
索取号：
作者：Aspnes、 James.、Scheideler、 Christian.、Arora、 Anish.、Madden、 Samuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings

0
索取号：
作者：Kauers、 Manuel.、Kerber、 Manfred.、Miner、 Robert.、Windsteiger、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

11th Mediterranean Conference on Medical and Biomedical Engineering and Computing 2007 [electronic resource] : MEDICON 2007, 26-30 June 2007, Ljubljana, Slovenia

0
索取号：
作者：Jarm、 Tomaz.、Kramar、 Peter.、Zupanic、 Anze.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Pervasive Computing for Quality of Life Enhancement [electronic resource] : 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007. Proceedings

0
索取号：
作者：Okadome、 Takeshi.、Yamazaki、 Tatsuya.、Makhtari、 Mounir.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Foundations of Fuzzy Logic and Soft Computing [electronic resource] : 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007. Proceedings

0
索取号：
作者：Melin、 Patricia.、Castillo、 Oscar.、Aguilar、 Luis T.、Kacprzyk、 Janusz.、Pedrycz、 Witold.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Model Driven Architecture- Foundations and Applications [electronic resource] : Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings

0
索取号：
作者：Akehurst、 David H.、Vogel、 R茅gis.、Paige、 Richard F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computer Supported Cooperative Work in Design III [electronic resource] : 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers

0
索取号：
作者：Shen、 Weiming.、Luo、 Junzhou.、Lin、 Zongkai.、Barth猫s、 Jean-Paul A.、Hao、 Qi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Scale Space and Variational Methods in Computer Vision [electronic resource] : First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007. Proceedings

0
索取号：
作者：Sgallari、 Fiorella.、Murli、 Almerico.、Paragios、 Nikos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

0
索取号：
作者：Artemov、 Sergei N.、Nerode、 Anil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

The Disappearing Computer [electronic resource] : Interaction Design, System Infrastructures and Applications for Smart Environments

0
索取号：
作者：Streitz、 Norbert.、Kameas、 Achilles.、Mavrommati、 Irene.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advanced Intelligent Paradigms in Computer Games [electronic resource]

0
索取号：
作者：Baba、 Norio.、Jain、 Lakhmi C.、Handa、 Hisashi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Artificial Intelligence [electronic resource] : 20th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2007, Montreal, Canada, May 28-30, 2007. Proceedings

0
索取号：
作者：Kobti、 Ziad.、Wu、 Dan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Service-Oriented Computing: Agents, Semantics, and Engineering [electronic resource] : AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007. Proceedings

0
索取号：
作者：Huang、 Jingshan.、Kowalczyk、 Ryszard.、Maamar、 Zakaria.、Martin、 David.、M眉ller、 Ingo.、Stoutenburg、 Suzette.、Sycara、 Katia P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Rough Sets, Fuzzy Sets, Data Mining and Granular Computing [electronic resource] : 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007. Proceedings

0
索取号：
作者：An、 Aijun.、Stefanowski、 Jerzy.、Ramanna、 Sheela.、Butz、 Cory J.、Pedrycz、 Witold.、Wang、 Guoyin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Methods for Performance Evaluation [electronic resource] : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Hillston、 Jane.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院